BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and

Source URL: www.brics.dk

• Universal property
• Lambda calculus
• Functor
• Combinatory logic
• Initial algebra
• Function
• Equivalence of categories
• Sheaf
• Coproduct
• Mathematics
• Category theory
• Abstract algebra

246 TUGboat, Volume), No. 3 Graphics Diagxy, a Lego-like diagram package

Source URL: www.tug.org

• Computing
• Functors
• Category theory
• Diagrams
• Commutative diagram
• Limit
• Arrow
• C syntax
• TeX
• Mathematics
• Computer programming
• Homological algebra

Cone Step Mapping: An Iterative Ray-Heightfield Intersection Algorithm Jonathan “LoneSock” Dummer Introduction This paper presents Cone Step Mapping (CSM), a new approach to the RayHeightfield Intersection problem. C

Source URL: lonesock.net

• Texture mapping
• Surfaces
• Abstract algebra
• Linear algebra
• Vector calculus
• Parallax mapping
• Heightmap
• Cone
• Area
• Algebra
• Mathematics
• Computer graphics

Quadruple Precision BLAS Routines for GPU QPBLAS-GPU Ver.1.0 User’s Manual July, 2013

Source URL: ccse.jaea.go.jp

• Numerical software
• Software
• Graphics hardware
• Computer arithmetic
• GPGPU
• CUDA
• Quadruple-precision floating-point format
• Floating point
• Basic Linear Algebra Subprograms
• Computing
• Numerical analysis
• Numerical linear algebra

Spatial Plateau Algebra for Implementing Fuzzy Spatial Objects in Databases and GIS: Spatial Plateau Data Types and Operations Markus Schneider∗ University of Florida Department of Computer & Information Science & Engi

Source URL: www.cise.ufl.edu

BRICS Basic Research in Computer Science BRICS NS-03-2 L. Aceto: Some of My Favourite Results in Classic Process Algebra

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSAceto et al.: On Equations in Two Variables in the Max-Sum Algebra On the Two-Variable Fragment of

Source URL: www.brics.dk

Technical Report TR, Department of Computer Science, Florida State University, DecemberThe CR# Algebra and its Application in Loop Analysis and Optimization Robert A. van Engelen∗ Department of Computer

Source URL: www.cs.fsu.edu

Partitioning of Algebraic Subexpressions in Computer Algebra Systems: Or, Don’t use matching so much. Including a neat integration example Richard Fateman January 11, 2014 Abstract

Source URL: www.cs.berkeley.edu

The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them? Antonio J. Durán, Mario Pérez, and Juan L. Varona Introduction

Source URL: math.ipm.ac.ir